1. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
2. ICTAC 2013تTheoretical Aspects of Computing
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3. ICTAC 2010تTheoretical Aspects of Computing
پدیدآورنده : / Claude Gaudel, Jim Woodcock-Ana Cavalcanti, David Deharbe, Marie
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
4. 3, 2010. Proceedings- ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1ع۰بTheoretical Aspects of Computing
پدیدآورنده : / Claude Gaudel, Jim Woodcock (eds.)-Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
5. Software engineering mathematics
پدیدآورنده : Woodcock, Jim
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : Mathematics ، Software engineering
رده :
QA
76
.
758
.
W66
1988
6. Theories of Programming and Formal Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
7. Unifying Theories of Programming and Formal Engineering Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK